Encryption as an abstract data - type : An extended abstract

Encryption as an abstract data - type : An extended

At the Dolev-Yao level of abstraction, security protocols can be specified using multisets rewriting. Such rewriting can be modeled naturally using proof search in linear logic. The linear logic setting also provides a simple mechanism for generating nonces and session and encryption keys via eigenvariables. We illustrate several additional aspects of this direct encoding of protocols into logi...

Key Preassigned Traceability Schemes for Broadcast Encryption (extended Abstract)

An Analytical Equation of State Extended to Copolymers

calculate some thermodynamic properties of molten polymers including specific volume and isothermal compressibility (S.M. Hoseini, Physical Chemistry & Electrochemistry, 2 (2014) 56-65). This work extended that EOS to predict the volumetric properties of some molten ethylene copolymers including ethylene/1-octene, ethylene/1-butene (xethylene equal to 0.8543 and 0.563), ethylene/propene. The ab...

A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract)

Applied process calculi include advanced programming constructs such as type systems, communication with pattern matching, encryption primitives, concurrent constraints, nondeterminism, process creation, and dynamic connection topologies. Several such formalisms, e.g. the applied pi calculus, are extensions of the the pi-calculus; a growing number is geared towards particular applications or co...

On lists and other abstract data types in the calculus of constructions

The representation of the inductively defined abstract data type for lists was left incomplete in [2, §9]. Here that representation is completed, and it is proved that all extra axioms needed are consistent. Among the innovations of this paper is a definition of cdr, whose definition was left for future work in [2, §9]. The results are then extended to other abstract data types, those of [1]. T...